Testing I/O Failures with Enforcer
نویسنده
چکیده
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initiated on the test suite level and are usually not tested sufficiently. Essentially, each interaction of the application with the environment can result in a failure, making failures hard to test. The Enforcer tool identifies such potential failures and automatically tests all relevant outcomes of such actions. It combines the structure of unit tests, coverage information, and fault injection. By taking advantage of a unit test infrastructure, performance can be improved by orders of magnitude compared to previous approaches. This paper introduces the usage of the Enforcer tool.
منابع مشابه
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initiated on the test suite level and are usually not tested sufficiently. Essentially, each interaction of the application with the environment can result in a failure. The Enforcer tool identifies such potential failures...
متن کاملTesting Exceptions with Enforcer
Java library calls, for instance for network I/O, may result in exceptions. Exhaustive testing of exceptions is very difficult. Enforcer automatically tests all relevant outcomes of actions that may cause an exception, and combines the structure of unit tests with coverage information and fault injection. Enforcer supports Java 1.5–1.6 and JUnit 3.8.1.
متن کاملEnforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an application, such as network availability. Testing a program with its communication resources being unavailable is difficult, as it requires a change on the host system, which has to be coordinated with the test suite. Essenti...
متن کاملBerlin-Poznań Seminar on Discrete Mathematics
Małgosia Bednarska-Bzdȩga Degree and Small-graph Avoider-Enforcer games I will talk on two versions of biased Avoider and Enforcer games played on a hypergraph H = (V,E). In the strict Avoider-Enforcer (a : f) game two players, Avoider and Enforcer, claim in turns previously unselected elements of V , until all vertices are occupied. In each turn Avoider selects exactly a elements, and Enforcer...
متن کاملOn Avoider-Enforcer Games
In the Avoider-Enforcer game on the complete graph Kn, the players (Avoider and Enforcer) each take an edge in turn. Enforcer wins the game when he can require Avoider’s graph to have a given property P . The important parameter is τE(P), the most number of rounds required for Enforcer to win if Avoider plays with an optimal strategy (τE(P) = ∞ if Avoider can finish the game without creating a ...
متن کامل